William Ivor Neil Kessel

The flat - footed fly genus Seri Kessel & Kessel ( Diptera : Platypezidae )

Systematic information on the rarely collected Holarctic platypezid genus Seri Kessel & Kessel is reviewed. Two species are included, S. obscuripennis (Oldenberg) from the Palaearctic Region and S. dymka (Kessel) from the Nearctic Region. The two species are diagnosed and the male of S. dymka is described for the first time. New records of S. dymka, previously recorded only from western North A...

Ivor, a Proof Engine

Dependent type theory has several practical applications in the fields of theorem proving, program verification and programming language design. Ivor is a Haskell library designed to allow easy extending and embedding of a type theory based theorem prover in a Haskell application. In this paper, I give an overview of the library and show how it can be used to embed theorem proving technology in...

Neil Turnbull

This paper examines the way in which ‘authority’ and ‘authoritarianism’ have been confl ated in contemporary philosophical thought. More specifi cally, it will show how the psycho-social critique of political authority developed by the Frankfurt School in the 1930s established a paradigm for the critique of political authority as ‘authoritarian irrationalism’. The paper goes on to explore the l...

Vulnerability W . Neil Adger

This paper reviews research traditions of vulnerability to environmental change and the challenges for present vulnerability research in integrating with the domains of resilience and adaptation. Vulnerability is the state of susceptibility to harm from exposure to stresses associated with environmental and social change and from the absence of capacity to adapt. Antecedent traditions include t...

7 Alkaloids NEIL